DEFINITION MODULE MathLib0;
(*	File name: MathLib0.def					*)
(*	Creation : Jan 13,1986					*)
(*	Function : Provide Math function                        *)
(*	By	 : K.Y. Tan					*)
(*								*)
(*
*    Copyright (c) 1985, 1986 by
*    Djavaheri Bros., Foster City, California.
*    All Rights Reserved.
*
*    This software is furnished under a license and may be used and copied
*    only  in accordance with  the  terms  of  such  license and  with the
*    inclusion of the above copyright notice.  This software or  any other
*    copies thereof may not be provided or otherwise made available to any
*    other  person.   No title to and ownership of the  software is  herby
*    transferred.
*
*    The information in this software is  subject to change without notice
*    and  should  not be construed as a commitment by Djavaheri Bros.   No
*    warranty is implied or expressed.
*
*   SCCID  = "1.2    10/8/86"; 
*)
(*	History of modifcation					*)
(*	Date		Who		Why			*)
(*								*)
EXPORT QUALIFIED sqrt, exp, ln, sin, cos,
                 arctan, real, entier;
PROCEDURE sqrt   (x: REAL): REAL;
PROCEDURE exp    (x: REAL): REAL;
PROCEDURE ln     (x: REAL): REAL;
PROCEDURE sin    (x: REAL): REAL;
PROCEDURE cos    (x: REAL): REAL;
PROCEDURE arctan (x: REAL): REAL;
PROCEDURE real   (x: INTEGER): REAL;
PROCEDURE entier (x: REAL): INTEGER;
END MathLib0.
